On the Relationship between Abduction and Deduction

n a The aim of this paper is at analyzing from various points of view the relationships betwee bduction and deduction. In particular, we consider a meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical consequence of the obser. T vations and of a simple transformation of the domain theory based on predicate completion he equivalence between the two definitions is proved for domain theories of considerable s expressive power. The object-level characterization we propose uses very simple forms of rea oning and the equivalence result allows us to make explicit some of the assumptions underly-